The 66th Programming Symposium
from Diary 2025-01-10
The 66th Programming Symposium
Call for Participation | 66th Annual Programming Symposium
Conflict-Driven-Clause-Learning
Principle of the Fast SAT Solver
DeepSeek-Prover
Sarashina
Completion has been possible since around GPT-2 in 2019.
InstructionGPT will come after that.
DPO
Direct Preference Optimization
Die with Zero
Tongqin Insurance
Preparing for "the risk of living longer
---
This page is auto-translated from /nishio/第66回 プログラミング・シンポジウム using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.